منابع مشابه
The length of Artinian modules with countable Noetherian dimension
It is shown that if $M$ is an Artinian module over a ring $R$, then $M$ has Noetherian dimension $alpha $, where $alpha $ is a countable ordinal number, if and only if $omega ^{alpha }+2leq it{l}(M)leq omega ^{alpha +1}$, where $ it{l}(M)$ is the length of $M$, $i.e.,$ the least ordinal number such that the interval $[0, it{l}(M))$ cannot be embedded in the lattice of all su...
متن کاملCountable Ordinals
This development defines a well-ordered type of countable ordinals. It includes notions of continuous and normal functions, recursively defined functions over ordinals, least fixed-points, and derivatives. Much of ordinal arithmetic is formalized, including exponentials and logarithms. The development concludes with formalizations of Cantor Normal Form and Veblen hierarchies over normal functions.
متن کاملdedekind modules and dimension of modules
در این پایان نامه، در ابتدا برای مدول ها روی دامنه های پروفر شرایط معادل به دست آورده ایم و خواصی از ددکیند مدول ها روی دامنه های پروفر مشخص کرده ایم. در ادامه برای ددکیند مدول های با تولید متناهی روی حلقه های به طور صحیح بسته شرایط معادل به دست آورده ایم و ددکیند مدول های ضربی را مشخص کرده ایم. گزاره هایی در مورد بعد ددکیند مدول ها بیان کرده ایم. در پایان، قضایای lying over و going down را برا...
15 صفحه اولThe number of countable models of a countable supersimple theory
In this paper, we prove the number of countable models of a countable supersimple theory is either 1 or infinite. This result is an extension of Lachlan’s theorem on a superstable theory.
متن کاملOn nowhere first-countable compact spaces with countable π-weight
The minimum weight of a nowhere first-countable compact space of countable π-weight is shown to be κB, the least cardinal κ for which the real line R can be covered by κ many nowhere dense sets.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1984
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-121-2-125-132